1. Formal specification and documentation Using Z: a case study approach
Author: Bowen, Jonathan Peter
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
Classification :
QA
76
.
73
.
Z2
B68
1996
